# data for satisfying minimum number of constraints problem
m = 70;
k = 58;
n = 12;
A = [[ 1.8  0.4  1.   2.2  1.9 -1.   1.  -0.2 -0.1  0.4  0.1  1.5]
 [ 0.8  0.1  0.4  0.3  1.5 -0.2  0.3 -0.9 -2.6  0.7  0.9 -0.7]
 [ 2.3 -1.5  0.  -0.2  1.5  1.5  0.2  0.4 -0.9 -2.  -0.3  0.2]
 [ 1.2  1.2 -0.4 -0.3 -1.  -1.4 -1.7  2.  -0.5 -0.4 -1.3  0.8]
 [-1.6 -0.2 -0.9  0.4 -0.5 -1.2 -0.   0.4  0.1  0.3 -0.6 -0.4]
 [-0.7 -0.4 -0.8 -1.7  0.2 -0.4 -1.6  0.5 -0.9  0.1  0.7  0.1]
 [ 1.1 -1.2  0.4 -0.7 -0.9 -0.6 -0.3  0.1 -1.2  0.9  0.5 -1.5]
 [ 1.5  1.9  1.2 -0.2 -1.1  1.1 -0.4  1.2  0.2  1.   0.4  0.7]
 [ 0.   1.8  0.1  0.4  1.9 -1.3 -1.3  1.  -1.2  1.9 -0.4 -0.7]
 [ 1.9  1.5  1.9  0.9 -0.9  1.9 -0.3  0.8  0.9 -0.2  0.6  0.9]
 [ 0.4 -1.1  0.3  1.3 -0.7 -0.1 -0.4  1.8  0.7  0.4 -0.8  0.5]
 [-0.7  0.  -0.6  0.7  0.6 -0.2  0.4 -1.1 -1.5  0.4  0.2  0.6]
 [ 2.4  0.9 -0.9  1.1 -1.3 -0.5 -0.1  1.7 -0.7 -0.8 -0.1 -0.7]
 [ 1.1 -1.1 -1.1 -0.4 -0.5  1.9  0.9  0.1 -1.2  0.8 -1.  -1.5]
 [ 1.2  0.3  0.9  0.3  0.9 -0.7 -1.   0.7 -0.8 -0.7 -0.5  0. ]
 [-0.4 -1.4 -0.6 -2.2  0.6 -1.6 -1.1  0.1 -0.7  1.5 -1.3  0.3]
 [-0.  -1.2  0.5 -0.2  0.8  0.8  2.2  1.3 -0.4 -0.2  1.1  0.7]
 [ 0.6 -1.6 -0.  -0.7  0.3 -0.1  0.9  0.3  0.8 -0.5 -0.9 -0.4]
 [-0.   0.4  2.3 -0.  -1.  -0.3 -0.5  0.5 -1.5  0.1  0.2  0.2]
 [-0.6 -0.2 -1.4 -0.5 -0.5  0.4 -1.2  0.8  1.5 -2.1  0.4  0.7]
 [-0.6 -0.4 -0.1 -0.3 -0.3 -1.7  1.2  1.1 -0.8 -1.5  0.5 -0.6]
 [ 0.1 -0.3  0.7  0.7 -0.7 -1.4 -1.6  0.6 -1.2 -0.5 -0.6 -0.1]
 [-1.9  0.2  0.5  0.1 -0.3  0.1  0.4 -2.8  2.   0.4 -0.7 -0.4]
 [ 0.5 -0.1 -2.   2.1 -0.1  1.  -0.7  1.5  0.3  0.6 -1.   1.2]
 [ 0.7  1.3 -0.6 -0.5  2.3 -1.1 -0.1  1.1  0.1  0.6 -0.4  0.4]
 [-1.3  1.7 -0.1 -0.7  0.7 -0.5 -1.3 -1.3  0.7 -0.2 -0.1  1.1]
 [-1.1 -0.7 -0.4  0.1 -0.  -0.3 -0.1 -0.1 -0.7 -0.8  0.3 -0.9]
 [-1.2 -0.3 -0.2  2.3 -0.7  0.9  0.7 -1.2  0.8 -1.2 -2.7  0.6]
 [-1.8  0.5 -0.7  1.7  1.1 -0.5 -0.7 -1.2 -0.4 -0.3 -0.4  0.2]
 [ 0.6  0.3 -0.8 -1.4  1.4 -0.7 -0.7 -0.5 -1.8 -0.5 -0.5  0.6]
 [ 0.7  0.   0.9  0.3 -0.   0.2 -0.2 -0.4 -0.3 -1.1  0.3 -1. ]
 [ 0.8 -0.2  0.   0.5  0.6 -1.6 -0.2  0.9 -1.7  0.4 -2.3 -1. ]
 [ 0.  -1.7 -1.  -1.5  1.6  0.2  0.6 -0.2 -0.4 -1.6 -0.3 -0.8]
 [ 0.9  1.1  1.5  0.9 -0.6 -1.1  0.8  0.4 -1.8  0.4  0.8  0.1]
 [-0.2 -0.8 -1.4  0.8 -0.3 -0.2  1.7  0.7  0.4  0.1  1.5  1.7]
 [ 0.9  0.6 -2.1  0.1 -0.1  0.1  0.9 -2.7 -0.6  0.3 -0.5 -1.4]
 [ 0.9  0.3 -1.   0.3  0.8  0.   0.8  0.1 -0.4 -1.2 -0.1  0.2]
 [ 0.9 -0.1  0.5 -1.  -0.8 -0.1 -1.1  0.8  0.5  0.3  0.3  2. ]
 [-0.5 -2.2  0.2 -0.1 -0.5 -1.  -0.4  0.2 -0.5  2.4 -1.  -0.8]
 [-2.3  0.3 -2.  -0.5 -0.3 -0.7  1.7  1.   1.3 -0.9  1.1  0.5]
 [ 0.8  1.  -0.9 -0.4  0.9 -2.7  1.5  0.6 -0.   0.2 -1.  -0.3]
 [ 1.1  1.3  2.7 -0.1 -0.7 -0.5 -1.  -0.1  0.4 -0.   1.1 -0.2]
 [-0.3 -0.6 -1.6 -1.6 -1.2  1.3  0.9  1.4 -1.3 -2.  -0.7  0.2]
 [ 0.5  1.   0.3  1.7 -0.2 -0.9 -1.7 -0.9  0.2 -0.9  0.9  1.4]
 [-2.4  0.9 -2.2  0.4  1.2  0.1 -1.3 -0.6 -0.3 -0.2 -0.2 -0.1]
 [ 0.2 -1.2 -0.2  1.5 -0.4 -0.4  1.1 -2.6  1.2 -0.6  0.2  0.1]
 [ 0.9 -0.3 -0.7  1.3 -2.4  0.  -1.3 -0.8  2.  -0.   0.2 -1.8]
 [-0.7  0.2  0.4  0.6  0.   0.5  0.5 -1.8  0.   0.8  0.6 -0.4]
 [-0.8 -1.1 -0.1  1.1 -2.  -0.7 -1.1  0.8 -0.6 -0.5 -0.2  0.4]
 [-0.4 -3.   0.5  0.4 -0.2 -1.1  0.4  0.4 -0.5 -0.2 -0.9 -0.2]
 [-1.6  0.4 -0.9  0.2 -1.4 -0.6 -0.1 -1.7  0.1 -0.4 -1.7 -1.3]
 [ 0.6  0.9 -0.1  0.4  0.2  0.3  1.3 -1.5  0.7 -0.4 -0.2 -0.3]
 [-0.4 -1.2  0.2  1.7 -0.1 -0.  -0.7 -0.1  0.5 -0.4 -0.5  0.4]
 [-0.9  0.3  0.8  1.4 -0.1  1.4  1.  -1.  -1.2 -0.3  1.  -0.1]
 [-0.6  1.6  0.3 -2.3  0.3  0.5  0.2  0.4 -0.1 -1.3 -0.4 -0.9]
 [-0.9 -1.3  0.5  0.1 -0.4 -0.6 -0.   1.1 -2.   0.4 -0.5 -1.9]
 [-1.9 -0.9  0.2  0.4 -0.9  1.   1.4  0.4 -0.6  1.1  0.8  0.9]
 [-0.7 -2.8  2.1 -1.6 -0.   2.4  0.3  0.9 -1.5 -1.8 -0.5  1.1]
 [-0.3 -0.8  0.2  1.1 -1.4 -1.2 -0.8  1.1  0.2  2.1  0.9 -0. ]
 [ 1.3  0.2 -0.7  0.7 -0.7 -0.3  1.3 -0.1 -0.8 -0.5  1.  -0.6]
 [-0.4 -0.5  0.2 -0.4 -1.6 -0.9 -0.9  1.2  0.8  0.6 -0.5 -0.8]
 [-0.5 -1.1  2.5 -2.2  0.6 -1.3 -0.1 -1.  -1.2 -1.1  1.8 -0.1]
 [-0.8  0.6  0.   0.7 -1.8  0.3  0.8 -1.7  0.4  1.7 -0.   0.8]
 [ 0.7 -0.7  0.  -1.6 -0.5  0.3  0.7  0.   0.7 -1.1 -0.1  0. ]
 [ 1.8 -0.2 -0.5  0.  -0.9  0.2 -0.4 -1.8 -0.1 -0.3 -1.6 -0.1]
 [ 1.5  0.5  0.6 -1.3  0.5  0.1  0.5  0.4 -1.4 -0.  -0.8 -0.1]
 [-0.9  1.3 -0.9 -0.9  0.1 -1.1 -0.4 -0.8  1.4  0.8 -0.1 -0.4]
 [ 0.9  0.4  0.5 -0.  -1.7 -0.1 -0.5  0.6  1.  -0.7  0.5  1.7]
 [-0.7  1.7 -0.9  0.  -0.   0.  -0.8 -0.6 -0.7  0.3  0.3  2.2]
 [ 1.4 -0.5  0.3  1.   0.  -0.1  0.1  0.9 -0.8 -0.3  0.5  0.3]];
b = [ 1.7, 0.9, 0.6,-0.2, 0.5,-2. , 0.2,-0.9, 0.8,-0.2, 0.9, 0.6, 0.6, 1.2,
  0.9,-0.4,-0.4, 0.7, 0.4,-2. ,-0.1, 1. , 0.9, 0.6,-0.2,-1.1, 0.3, 3.2,
  1.2,-0.3, 0.7, 2.8,-0.1, 0.9,-1.4, 1.1, 0.3,-1.8, 1.3,-2. , 0.8,-0.4,
 -0.9,-0.3,-0.4, 1.3, 0.3, 0.5, 0.3, 1.6, 1.6, 0.8, 1.2, 0.9,-0.9, 1.5,
 -0.3, 0. ,-0.3, 0.3,-0.2,-1.3, 0.2,-0.8, 1.4, 0.5,-0.9,-1.4,-1.3, 0.4];
c = [ -2.5,  1.5,  4.7, -4. ,  0.5,  5.9,  0.2, -0.9, 10.6, -1.2,  7.6, -3.6];
